Software repository - PDFSEARCH.IO - Document Search Engine

Software repository
Results: 773

#	Item
1	Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4 Add to Reading List Source URL: research-repository.st-andrews.ac.uk Language: English - Date: 2018-07-03 04:41:37
2	Software Transactions Meet First-Class Continuations Aaron Kimball Dan Grossman University of Washington Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:08
3	Software Language Evolution PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, Add to Reading List Source URL: repository.tudelft.nl
4	ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en Add to Reading List Source URL: repository.lib.ncsu.edu - Date: 2014-07-25 02:20:30
5	Fedora4- Open Annotation Framework Dulip Withanage - University Library Ruprecht-Karls University, Heidelberg Software Entwickler Add to Reading List Source URL: www.laudatio-repository.org - Date: 2014-10-09 09:36:56
6	A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/ Add to Reading List Source URL: pycx.sourceforge.net Language: English - Date: 2013-09-14 15:15:31 Software Computing Application software Simulation software Multi-agent systems Simulation Systems theory Scientific modeling Repast NetLogo Matplotlib Agent-based model
7	Managing Open Access Publication: a system specification Contents 1. Executive Summary Add to Reading List Source URL: jiscmonitor.jiscinvolve.org Language: English - Date: 2015-01-30 06:25:10 Knowledge Academic publishing Computing Academia Software design Systems analysis Electronic design automation Systems design Data model Institutional repository ORCID Business process
8	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Computing Software Evaluation strategy Incremental computing Partial evaluation Programming language implementation Interpreter Logic programming Programming language Meta Eval
9	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
10	Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Computing Functional languages Programming paradigms Prolog Interpreter Escher Programming language Declarative programming APL

UPDATE